High-Power Logical Representation via Rulelog, for Neural-Symbolic
نویسنده
چکیده
Combining neural networks (NN) methods with symbolic methods is an area that is exciting in terms both of basic research and practical application. We discuss here the opportunities and challenges involved in combining NN (“neural”) with logical knowledge representation and reasoning (KRR) that has high expressive power and fundamental scalability (“high-power” KRR). We describe how Rulelog KRR fits pretty well these challenges. (Note “logical” here includes probabilistic.)
منابع مشابه
Automated Decision Support for Financial Regulatory/Policy Compliance, using Textual Rulelog
We present a novel technological approach, based on Textual Rulelog, to automated decision support for financial regulatory/policy compliance, via a case study on banking Regulation W from the US Federal Reserve. Legal regulations and related bank operational policies in English documents are encoded relatively inexpensively by authors into Rulelog, a highly expressive logical knowledge represe...
متن کاملThe Power of Semantic Rules in Rulelog: Fundamentals and Recent Progress (Extended Abstract of Tutorial Presentation)
In this tutorial, we provide a comprehensive and up-to-date introduction to the fundamental concepts and recent progress in the area of Rulelog, a leading approach to semantic rules knowledge representation and reasoning. Rulelog is expressively powerful, computationally affordable, and has capable efficient implementations. A large subset of Rulelog is in draft as an industry standard1 to be s...
متن کاملRulelog: Highly Expressive Semantic Rules with Scalable Deep Reasoning
In this half-day tutorial, we cover the fundamental concepts, key technologies, emerging applications, recent progress, and outstanding research issues in the area of Rulelog, a leading approach to fully semantic rule-based knowledge representation and reasoning (KRR). Rulelog matches well many of the requirements of cognitive computing. It combines deep logical/probabilistic reasoning tightly ...
متن کاملAdvanced Knowledge Base Debugging for Rulelog
We present a novel approach to debugging expressively rich knowledge representation and reasoning (KRR) logic Rulelog. Rulelog is an extended form of declarative logic programs (LP) under the wellfounded semantics, which allows higher-order logic formulas as axioms in combination with defeasibility mechanisms that include rule cancellation and priorities, along with default and explicit negatio...
متن کاملShared Multi-Space Representation for Neural-Symbolic Reasoning
This paper presents a new neural-symbolic reasoning approach based on a sharing of neural multi-space representation for coded fractions of first-order logic. A multi-space is the union of spaces with different dimensions, each one for a different set of distinct features. In our case, we model the distinct aspects of logical formulae as separated spaces attached with vectors of importance weig...
متن کامل